﻿Рекоммендуемая литература
admin|2008/12/07 21:44:39
##PAGE##
{|
| Можно ли освободить программирование от стиля фон Неймана? Функциональный стиль и соответствующая алгебра программ 
| Джон Бэкус
| Лекции лауреатов премии Тьюринга за первые двадцать лет 1966-1985, М.:Мир,1993. - с. 84-158. 
|-
| Алгебра функциональных программ: мышление функционального уровня, линейные уравнения и обобщенные определения 
| Джон Бэкус 
| В кн.: Математическая логика в программировании. (Ред. Захарьящев М.В. и Янов Ю.И) М.:Мир, 1991. - с 8-55. 
|-
 
| On the development of the algebra of functional programs 
| Williams J.H 
| Tech.Rept RJ2983, IBM Research Lab., San Jose,Calif.,Oct. 1980 
|-
| Функциональное программирование 
| Филд А.,
| Харрисон П М.Мир, 1993. - 637 с. 
|-
| The FL Project: The Design of a Functional Language 
| Aiken A., Williams J.H., Wimmers E.L.  
|
|-

| Conception, Evolution, and Application of Functional Programming Languages 
| Hudak,P. 
| ACM Computing Surveys, Vol. 21, No. 3, September 1989  
|-


| Методы и средства вычислений с объектами. 
| Аппликативные вычислительные системы Вольфенгаген В.Э 
| М.: JurInfoR Ltd., АО "Центр ЮрИнфоР 2004. - xvi + 789 c.  
|-

| Inductive Methods for Proving Properties of Programs 
| Manna, Z., Ness, S., Vuillemin, J. 
| Comm. ACM 16, 8 (Aug 1973) 491-502. 
|-

| Program transformation in the presence of errors 
| Aiken A., Williams J.H., Wimmers E.L
| В трудах Seventeenth Annual ACM Symposium on Principles of Programming Languages, стр. 210-217, Январь 1990  
|-

| Denotational semantics and rewrite rules for FP 
| Aiken A., Williams J.H., Wimmers E.L., Winkler T.  
| В трудах Twelfth Annual ACM Symposium on Principles of Programming Languages, стр. 108-120, Январь 1985  
|-

| Toward an algebra of nondeterministic programs  
| Mago G 
| Proceedings of the 1982 ACM symposium on LISP and functional programming, Август 1982 
|-
| An Improved DEL-Style Architecture for FP  
| Huynh T., Hailpern 
| Proceedings of the Twentieth Hawaii International Conference on System Sciences, Volume 1, pages 370-377, Western Publications, Январь 1987. 
|-
 |}
 

 
 
  